| emsoft | participants

András Vörös

EMSOFT 2019: 19th International Conference on Embedded Software

Will My Program Break on This Faulty Processor?: Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software

Levente Bajczi, András Vörös, and Vince Molnár